Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
571	A Universal Calculus for Stream Processing Languages Robert Soul´e1 , Martin Hirzel2 , Robert Grimm1 , Bu˘gra Gedik2 , Henrique Andrade2 , Vibhore Kumar2 , and Kun-Lung Wu2 1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-03-22 18:17:38 Models of computation Denotational semantics Logic in computer science Μ operator CQL NDepend Stack Stream Relational algebra Computing Theoretical computer science Software engineering
572	Version 1.0 Open X and Arm David May: April 25, 2013 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-05-02 09:46:47 C programming language Procedural programming languages Algebra Machine code Mathematical notation Operand DEC Alpha Stack C Computing Software engineering Computer programming
573	Automatic Kinematic Chain Building from Feature Trajectories of Articulated Objects Jingyu Yan and Marc Pollefeys Department of Computer Science The University of North Carolina at Chapel Hill Chapel Hill, NC 27599 Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2006-04-27 17:51:20 Mechanics Robot kinematics Computational physics 3D computer graphics Virtual reality Kinematic chain Kinematics Rigid body Minimum spanning tree Physics Algebra Mathematics
574	Extracting Xor-Encoded Files From Malware With IDAPython Add to Reading List Source URL: www.mnin.org Language: English - Date: 2006-09-10 20:41:00 Logic Propositional calculus Tar Computing Computer architecture Mathematics CPUID X86 assembly language X86 architecture Boolean algebra Exclusive or
575	Detection of Planar Regions in Volume Data for Topology Optimization Ulrich Bauer and Konrad Polthier FU Berlin, Arnimallee 3, 14195 Berlin, Germany {ubauer,polthier}@mi.fu-berlin.de Add to Reading List Source URL: ddg.math.uni-goettingen.de Language: English - Date: 2008-09-01 08:09:36 Mathematical optimization Computer vision Integral transforms Hough transform Image processing Radon transform Vector space Topology optimization Topology Mathematics Algebra Mathematical analysis
576	The Portable Extensible Toolkit for Scientific computing This talk: http://59A2.org/filesNRELPETSc.pdf Jed Brown Mathematics and Computer Science Division, Argonne National Laboratory Add to Reading List Source URL: 59a2.org Language: English - Date: 2012-04-27 13:41:13 Application software Portable Extensible Toolkit for Scientific Computation SLEPc OOFEM FEniCS Project National Renewable Energy Laboratory Lis Computer cluster JUGENE Numerical linear algebra Computing Software
577	Steganography via Codes for Memory with Defective Cells Jessica Fridricha , Miroslav Goljana , and David Soukalb a Department of Electrical and Computer Engineering, Add to Reading List Source URL: www.ws.binghamton.edu Language: English - Date: 2006-04-26 08:10:09 Abstract algebra Steganography Erasure code Linear code Luby transform code Embedding Low-density parity-check code Matrix Steganalysis Coding theory Mathematics Algebra
578	The Algebra Inside Your Videogame: Computer Science in Math Think of a videogame as a sequence of frames, like pages of a flip-book animation. Game elements change between frames, either on their own or in response to an Add to Reading List Source URL: code.org Language: English - Date: 2014-12-01 15:14:08 Function Trigonometric functions Piecewise Bootstrapping Mathematics Functions and mappings Mathematical analysis
579	Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-03-10 19:40:43 Probabilistic complexity theory IP Probabilistically checkable proof NP Vector space Soundness MAX-3SAT Algebra Mathematics Theoretical computer science
580	Exploring Partial Synchrony in an Asynchronous Environment Using Dense LU Jonathan Lifflander, Phil Miller, Ramprasad Venkataraman, Anshu Arya University of Illinois Urbana, IL 61801 Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-08-25 13:24:57 Parallel computing Microprocessors Computer architecture Numerical linear algebra Threads Multi-core processor LU decomposition Cell Central processing unit Computing Concurrent computing Computer programming

UPDATE